This paper aims to present the background and development of a software tool to assist the development of complex multimedia systems. After introducing the importance of multimedia design, the paper describes the four common phases of multimedia methodologies (Conceptual design, Navigational design, Abstract Interface design and Implementation), and compares and contrasts a selection of multime...

This paper presents the application of SPIN to verify a hardware design. A hazardoues circuit is modelled in PROMELA and verified with SPIN. SPIN shows the presense of hazard. The circuit was corrected and verified.

The development of new design concepts for ship bridges on modern offshore vessels is a considerable challenge for engineering and design professions. Such ships perform advanced missions in extreme environmental conditions that are very different to those in which most design processes take place. Although site visits can help narrow this gap, such opportunities are limited by both funding and...

For designers, featural and functional characteristics of a product are the obvious means to express its functionalities. Usage as intended in a design may be conceived as being mediated by product semantics or affordances. These concepts primarily involve scientific generalisations. Usecues are introduced as a pragmatic design tool. There is a brief discussion of experience with the notion of ...

SystemCoDesigner is a software tool for automatic design space exploration at the electronic system level and automatic platform-based prototyping of hardware/software systems using SystemC.